Guarded Attribute Grammars and Publish/Subscribe for implementing distributed collaborative business processes with high data availability

With the ever-increasing development of the Internet and the diversification of communication media , business processes of companies are increasingly collaborative and distributed. This contrasts with traditional solutions deployed for their management which are usually centralized, based on the activity flow or on the exchanged documents. Moreover, the users who are usually the main actors in collaborations are often relegated to second place. Recently, a distributed, data-driven and user-centric approach called Guarded Attributed Grammar (GAG) has been proposed for the modeling of such processes; it thus provides an answer to most of these limitations. In this paper, we present an approach for implementing business processes modeled using GAG in which communications are done by publish/subscribe with redirection of subscription (pub/sub-RS). The pub/sub-RS-which we propose-guarantees high data availability during the process execution by ensuring that an actor, perceived as a subscriber, will always receive a data he needs to perform a task as soon as it is produced. Moreover, if the data is semi-stuctured, and produced collaboratively and incrementally by several actors, its subscribers will be notified as soon as one of its components (a prefix) is produced simultaneously, as they will be subscribed in a transparent way to the remaining components (the suffix).Avec le développement toujours croissant de l'Internet et la diversification des moyens de communication, les processus métiers sont de plus en plus collaboratifs et distribués. Ceci contraste avec les solutions traditionnelles déployées pour leur gestion qui sont habituellement centralisées, basées sur le flux d'activités ou sur les documents échangés. Bien plus, les utilisateurs qui sont généralement les acteurs principaux dans la collaboration y sont souvent relégués au second rang. Récemment, une approche distribuée, centrée sur l'utilisateur et pilotée par les données appelée Grammaires Attribuées Gardées (GAG), a été proposée pour la modélisation de tels processus; elle fournit donc une réponse à la plupart de ces limitations. Dans ce papier, nous présentons une approche de mise en œuvre de processus métiers modélisés à l'aide des GAG dans laquelle les communications se font par publish/subscribe avec redirection de souscriptions (pub/sub-RS). Le pub/sub-RS (que nous proposons) garantit une haute disponibilité des données pendant l'exécution d'un processus en assurant qu'un acteur (perçu comme un abonné) recevra toujours une donnée dont il a besoin pour effectuer une tâche dès qu'elle est produite. De plus, si la donnée est semi-structurée et produite collaborativement et incrémentalement par plusieurs acteurs, ses abonnés seront notifiés dès qu'une de ses composantes (un préfixe) est produite en même temps qu'ils seront abonnés de manière transparente aux composantes résiduelles (le suffixe)

A publish/subscribe approach for implementing GAG's distributed collaborative business processes with high data availability

International audienceWith the ever-increasing development of the Internet and the diversification of communication media, there is a growing interest in distributed business process models that focus on exchanged data (or artifact) to control and pilot processes. The Guarded Attribute Grammars (GAG) is one such model; it stands out from the others by the fact that it emphasizes the central place occupied by user decisions during the process execution: it is both data-driven and user-centric. In this paper we present an approach to implementing distributed collaborative business processes modeled using GAG in which communications are done by publish/subscribe with redirection of subscriptions (pub/sub-RS). Pub/sub-RS-which we propose-guarantees high data availability during the process execution, by ensuring that an actor, perceived as a subscriber, will always receive a data he needs to perform a task as soon as it is produced. Moreover, if the data is semi-structured, and is produced collaboratively and incrementally by several actors, its subscribers will be notified as soon as one of its components (a prefix) is produced at the same time they will be subscribed in a transparent way to the remaining components (the suffix).Avec le développement toujours croissant d'internet et la diversification des moyens de communication il est un intérêt croissant pour les modèles de processus métiers distribués qui mettent l'accent sur les données échangées (ou artefacts) pour contrôler et piloter les processus. Les grammaires attribuées avec gardes (GAG) est l'un de ces modèles; il se démarque des autres par le fait qu'il met l'emphase sur la place centrale qu'occupe les décisions des utilisateurs lors de l'exécution d'un processus: il est à la fois centré sur les données et sur l'utilisateur. Dans ce papier, nous présentons une approche de mise en œuvre de processus métiers collaboratifs distribués modélisés à l'aide des GAG dans lesquels les communications se font par publish/subscribe avec redirection de souscriptions (pub/sub-RS). Le pub/sub-RS (que nous proposons), garantit une haute disponibilité des données pendant l'exécution des processus en assurant qu'un acteur (vu comme un abonné), recevra toujours une donnée dont il a besoin pour effectuer une tâche dès qu'elle est produite. De plus, si la donnée est semi-structurée, et produite collaborativement et incrémentalement par plusieurs acteurs, les abonnés seront notifiés dès qu'une de ses composantes (un préfixe) est produite en même temps qu'ils seront abonnés de manière transparente à ses composantes résiduelles (le suffixe)

Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone

International audienceThe cross-fertilization is a technique to pool expertise and resources of at least two sectors in order to make the best of each. In this paper, we present a protocol of programming based on cross-fertilization of two programming languages (Haskell and Java) under two different programming paradigms: the functional paradigm and the object paradigm. This pooling of the strengths of each type of language permit to develop more secure applications in a shorter time, with functional code concise, easily understandable and thus, easily maintainable by one third. We present the meta-architecture of applications developed following this approach and an instantiation of it for the implementation of a prototype of an asynchronous collaborative editor.La fertilisation croisée est une technique permettant de mettre en commun des compétences et des ressources d’au moins deux secteurs d’activité afin d’en tirer le meilleur de chaque. Dans ce papier, nous présentons un protocole de programmation basé sur la fertilisation croisée de deux langages de programmation (Haskell et Java) relevant de deux paradigmes de programmation différents: le paradigme fonctionnel et le paradigme objet. Cette mutualisation des points forts de chaque type de langage permet de développer des applications plus sûres, en un temps moindre, ayant un code fonctionnel concis, facilement compréhensible et donc, facilement maintenable par un tiers. Nous présentons la méta-architecture des applications développées suivant cette approche ainsi qu’une instanciation de celle-ci pour la mise en oeuvre d’un prototype d’éditeur coopératifasynchrone

Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone

International audienceThe cross-fertilization is a technique to pool expertise and resources of at least two sectors in order to make the best of each. In this paper, we present a protocol of programming based on cross-fertilization of two programming languages (Haskell and Java) under two different programming paradigms: the functional paradigm and the object paradigm. This pooling of the strengths of each type of language permit to develop more secure applications in a shorter time, with functional code concise, easily understandable and thus, easily maintainable by one third. We present the meta-architecture of applications developed following this approach and an instantiation of it for the implementation of a prototype of an asynchronous collaborative editor.La fertilisation croisée est une technique permettant de mettre en commun des compétences et des ressources d’au moins deux secteurs d’activité afin d’en tirer le meilleur de chaque. Dans ce papier, nous présentons un protocole de programmation basé sur la fertilisation croisée de deux langages de programmation (Haskell et Java) relevant de deux paradigmes de programmation différents: le paradigme fonctionnel et le paradigme objet. Cette mutualisation des points forts de chaque type de langage permet de développer des applications plus sûres, en un temps moindre, ayant un code fonctionnel concis, facilement compréhensible et donc, facilement maintenable par un tiers. Nous présentons la méta-architecture des applications développées suivant cette approche ainsi qu’une instanciation de celle-ci pour la mise en oeuvre d’un prototype d’éditeur coopératifasynchrone

Requêtes XPath bipolaires et évaluation

International audienceThe concept of bipolar queries (also call preferences queries) emerged in the Relational Databasescommunity, allowing users to get much more relevant responses to their requests, expressed via queries say withpreferences. Such requests usually have two parts: the first is used to express the strict constraints and thesecond, preferences or wishes. Any response to a query with preferences must necessarily satisfy the first partand preferably the latter. However, if there is at least a satisfactory answer of the second part, those satisfyingonly the first part will be excluded from the final result: they are dominated. In this paper, we explore an approachof importation of this concept in a XML Database via XPath language. To do this, we propose PrefSXPathlanguage, an extension of XPath in order to express XPath queries with structural preferences, then we presenta query evaluation algorithm of PrefSXPath using automataLe concept de requêtes bipolaires (on parle aussi de requêtes avec préférences) a émergé dans la communauté des Bases de Données Relationnelles, pour permettre aux utilisateurs d'obtenir des réponses beaucoup plus pertinentes à leurs préoccupations, exprimées via des requêtes dites avec préférences. De telles requêtes ont généralement deux parties : la première permet d'exprimer les contraintes strictes et la seconde, des préférences ou souhaits. Toute réponse à une requête avec préférences doit nécessairement satisfaire la première partie et préférentiellement la seconde. Toutefois, s'il existe au moins une réponse satisfaisant la seconde partie, toutes les réponses ne satisfaisant que la première partie seront exclues du résultat final : elles sont dominées. Dans ce papier, nous explorons une approche d'importation de ce concept dans les Bases de Données XML via le langage XPath. Pour ce faire, nous proposons le langage PrefSXPath, une extension du langage XPath permettant d'exprimer les requêtes XPath avec préférences structurelles, puis, nous présentons un algorithme d'évaluation des requêtes PrefSXPath à l'aide des automates. ABSTRACT. The concept of bipolar queries (also call preferences queries) emerged in the Relational Databases community, allowing users to get much more relevant responses to their requests, expressed via queries say with preferences. Such requests usually have two parts: the first is used to express the strict constraints and the second, preferences or wishes. Any response to a query with preferences must necessarily satisfy the first part and preferably the latter. However, if there is at least a satisfactory answer of the second part, those satisfying only the first part will be excluded from the final result: they are dominated. In this paper, we explore an approach of importation of this concept in a XML Database via XPath language. To do this, we propose PrefSXPath language, an extension of XPath in order to express XPath queries with structural preferences, then we present a query evaluation algorithm of PrefSXPath using automata

Requêtes XPath bipolaires et évaluation

International audienceThe concept of bipolar queries (also call preferences queries) emerged in the Relational Databasescommunity, allowing users to get much more relevant responses to their requests, expressed via queries say withpreferences. Such requests usually have two parts: the first is used to express the strict constraints and thesecond, preferences or wishes. Any response to a query with preferences must necessarily satisfy the first partand preferably the latter. However, if there is at least a satisfactory answer of the second part, those satisfyingonly the first part will be excluded from the final result: they are dominated. In this paper, we explore an approachof importation of this concept in a XML Database via XPath language. To do this, we propose PrefSXPathlanguage, an extension of XPath in order to express XPath queries with structural preferences, then we presenta query evaluation algorithm of PrefSXPath using automataLe concept de requêtes bipolaires (on parle aussi de requêtes avec préférences) a émergé dans la communauté des Bases de Données Relationnelles, pour permettre aux utilisateurs d'obtenir des réponses beaucoup plus pertinentes à leurs préoccupations, exprimées via des requêtes dites avec préférences. De telles requêtes ont généralement deux parties : la première permet d'exprimer les contraintes strictes et la seconde, des préférences ou souhaits. Toute réponse à une requête avec préférences doit nécessairement satisfaire la première partie et préférentiellement la seconde. Toutefois, s'il existe au moins une réponse satisfaisant la seconde partie, toutes les réponses ne satisfaisant que la première partie seront exclues du résultat final : elles sont dominées. Dans ce papier, nous explorons une approche d'importation de ce concept dans les Bases de Données XML via le langage XPath. Pour ce faire, nous proposons le langage PrefSXPath, une extension du langage XPath permettant d'exprimer les requêtes XPath avec préférences structurelles, puis, nous présentons un algorithme d'évaluation des requêtes PrefSXPath à l'aide des automates. ABSTRACT. The concept of bipolar queries (also call preferences queries) emerged in the Relational Databases community, allowing users to get much more relevant responses to their requests, expressed via queries say with preferences. Such requests usually have two parts: the first is used to express the strict constraints and the second, preferences or wishes. Any response to a query with preferences must necessarily satisfy the first part and preferably the latter. However, if there is at least a satisfactory answer of the second part, those satisfying only the first part will be excluded from the final result: they are dominated. In this paper, we explore an approach of importation of this concept in a XML Database via XPath language. To do this, we propose PrefSXPath language, an extension of XPath in order to express XPath queries with structural preferences, then we present a query evaluation algorithm of PrefSXPath using automata

Projections et cohérence de vues dans les grammaires algébriques

International audienceA complex structured document is intentionnally represented as a tree decorated with attributes. The set of legal structures is given by an abstract context-free grammar. We forget about the attributes; they are related with semantical issues that can be treated independently of the purely structural aspects that we address in this article. That intentional representation may be asynchronously manipulated by a set of independent tools each of which operates on a distinct partial view of the whole structure. In order to synchronize these various partial views, we are faced to the problem of their coherence: can we decide whether there exists some global structure corresponding to a given set of partial views and in the affirmative, can we produce such a global structure ? We solve this problem in the case where a view is given by a subset of grammatical symbols, those associated with the so-called visible syntactical categories. The proposed algorithm, that strongly relies on the mechanism of lazy evaluation, produces an answer to this problem even if partial views may correspond to an infinite set of related global structures.Un document structuré complexe est représenté intentionnellement sous la forme d'une structure arborescente décorée par des attributs. Les structures licites sont caractérisées par une grammaire algébrique abstraite. Nous faisons ici abstraction des attributs ; ces derniers sont liés à des aspects sémantiques qui peuvent être traités séparément des aspects purement structurels qui nous intéressent ici. Cette représentation intentionnelle peut être manipulée de façon indépendante et éventuellement non synchronisée par divers outils d'édition et de manipulation qui opèrent sur des vues partielles distinctes du même document. Pour la re-synchronisation de ces vues partielles nous devons résoudre le problème de leur cohérence : décider s'il existe un document correspondant à ces différentes vues et dans l'affirmative produire un tel document. Nous montrons comment résoudre ce problème dans le cas où chaque vue est associée à un sous-ensemble des symboles grammaticaux : ceux qui correspondent aux catégories syntaxiques visibles. L'algorithme proposé, qui repose fortement sur le mécanisme d'évaluation paresseuse, résout ce problème même dans le cas où chaque vue partielle correspond à un nombre infini de documents possibles